A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes
نویسندگان
چکیده
We establish the foundations of a lattice-theoretic model for a variant of communcating sequential processes. This technical report is not intended as a stand-alone work, but as a companion to a paper which defines the process algebra and describes its model. We give proofs for various theorems stated in that paper. In particular we prove that the axioms of the process algebra are sound.
منابع مشابه
Shared variables in CSP
The algebra of Communicating Sequential Processes provides a facility to formal specify systems by describing their behavior. To be able do denote these systems more precisely it is useful to introduce state variables. Because the CSP algebra deals with concurrent processes, the state variables are shared between those processes. This contribution describes techniques how to represent shared va...
متن کاملA THEORY OF ASY } ' iCHRONOUS PROCESSES
A theory of asynchronous processes (nondeterministic data florv net-rvorks) is presented. It consists of a mathematical model and a process algebra. The intention is to provide a better theoretical underpinning to the Jackson System Development metirod. The model is so constructed as to be compatible rvith the failures modei of Hoare's Communicating Sequential Processes. The process algebra des...
متن کاملAnonymity and CSP for Voting Systems
In this paper, we present a concise formal definition of anonymity for voting protocols using process algebra Communicating Sequential Processes (CSP). We analyse a number of anonymity definitions and give the formal definitions for the strong and weak anonymity highlighting the difference between them. It shows us that the strong anonymity definition is not an appropriate definition as it is t...
متن کاملProcesses with Multiple Entries and Exits Modulo Isomorphism and Modulo Bisimulation
This paper proposes a framework for the integration of the algebra of communicating processes (ACP) and the algebra of ownomials (AF). Basically, this means to combine axiomatisations of parallel and looping operators. To this end a model of process graphs with multiple entries and exits is introduced. In this model the usual operations of both algebras are de ned, e.g. alternative composition,...
متن کاملMODULARITY OF AJMAL FOR THE LATTICES OF FUZZY IDEALS OF A RING
In this paper, we construct two fuzzy sets using the notions of level subsets and strong level subsets of a given fuzzy set in a ring R. These fuzzy sets turn out to be identical and provide a universal construction of a fuzzy ideal generated by a given fuzzy set in a ring. Using this construction and employing the technique of strong level subsets, we provide the shortest and direct fuzzy set ...
متن کامل